#include<iostream>
using namespace std;
int main()
{
	long long m;
	int k;
	int n=0;
	int f=0;
	cin>>m>>k;
	while(m)
	{
		n=m%10;
		m/=10;
		if(n==3)
		f++;
	}
	if(f==k)
	cout<<"YES";
	else
	cout<<"NO";
	return 0;
}
